Automatic Generation of English-language Steps in Puzzle Solving
نویسندگان
چکیده
This paper shows how to generate an English step-bystep explanation that describes how an automated reasoning system solves a complex constraint program. We study programs that solve tabular-constraint problems encoded in Constraint Lingo and then translated into propositional logic with cardinality constraints. We instrument the logic solver so that it generates log files. We inspect those logs and express reasoning steps in English by using grammatical information placed in the Constraint Lingo program.
منابع مشابه
The Effect of Story-based, L1 Translation, and Whatsapp Emoticon Puzzle-Solving Techniques on Iranian Intermediate EFL Learners’ Proverb Learning
This study investigated the effect of story-based technique, L1 translation, and Whatsapp emoticon puzzle solving on EFL learners’ learning proverbs. From among 90 female intermediate level learners at two language institutes in Qom, Iran, 60 homogeneous students were chosen following the administration of a sample of Nelson proficiency test and a pre-test. The 60 participants were then assigne...
متن کاملPuzzle test: A tool for non-analytical clinical reasoning assessment
Most contemporary clinical reasoning tests typically assess non-automatic thinking. Therefore, a test is needed to measure automatic reasoning or pattern recognition, which has been largely neglected in clinical reasoning tests. The Puzzle Test (PT) is dedicated to assess automatic clinical reasoning in routine situations. This test has been introduced first in 2009 by Monajemi et al in the Oly...
متن کاملAttitudes towards English as an International Language (EIL) in Iran: Development and Validation of a New Model and Questionnaire
This study aimed at developing and validating a new model and instrument to explore attitudes of Iranian EFL learners towards English as an International Language (EIL). In so doing, the researchers followed several rigorous steps including extensive literature review, content selection, item generation, designing the rating scales and personal information part, Delphi technique, item revision,...
متن کاملGeneralizing Syntactic Collocates for Creative Language Generation
This paper presents the construction of a data source that supports the automatic generation of cryptic crossword clues in a system called ENIGMA. Cryptic crossword clues have two layers of meaning: a surface reading that appears to be a fragment of English prose, and a puzzle reading that the solver must uncover to solve the clue. The content expressed by the clue, and the input to the generat...
متن کاملThe study of relationship between bilingualism and private speech with English learning in elementary school students
Purpose: This study investigated the relationship between gender and bilingualism with English learning among 7-11 years old students. Methodology: 261 students (124 girls and 157 boys) were selected through multi-stage sampling method from elementary school. Employing check list the level of English scores was obtained .The children's private speech obtained from listening to them when they we...
متن کامل